Exploring the Universe
نویسندگان
چکیده
منابع مشابه
Exploring the Iterated Update Universe
In this paper we investigate the properties of the logical system developped by Baltag, Moss and Solecki [BMS], which is a product of quite lively line of research on update logics. We build on the idea of looking at update logics as dynamical systems, where the issue of asymptotic behavior is paramount. We first give a characterization of action equivalence relation holding between action mode...
متن کاملExploring the Universe beyond the Photon Window
Conventional astronomy spans about 18 decades in photon wavelengths, from 104 cm radio-waves to 10−14 cm γ-rays of GeV energy. Because the universe is opaque to photons of TeV energy and above (see Fig. 1) [1], present studies focus on hadrons, neutrinos, and gravitational waves as messengers probing the high energy universe. The best candidates to serve as messengers in a new astronomy of the ...
متن کاملExploring the Global Topology of the Universe
Since this area is still little known, in this talk I will present a summary of work done by myself and a few collaborators at IFT/UNESP in S~ao Paulo. The sections that follow list a number of published papers, which are representative of the e ect of nontrivial cosmic topology on the topics: section II, formal theoretical works; III, the quasar redshift controversy; IV, tting models to data; ...
متن کاملExploring the expansion history of the universe.
Exploring the recent expansion history of the universe promises insights into the cosmological model, the nature of dark energy, and potentially clues to high energy physics theories and gravitation. We examine the extent to which precision distance-redshift observations can map out the history, including the acceleration-deceleration transition, and the components and equations of state of the...
متن کاملExploring the Universe of Test Data
This paper answers the question of what kind and how much testing is necessary to have confidence in the correctness of an arbitrary piece of software via a rigorous analysis of a given algorithm with a complex data structure. For example, in preference voting schemes, many different choices are ranked in order of preference on a ballot. In typical elections, the number of permutations of rank ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annual Review of Astronomy and Astrophysics
سال: 2015
ISSN: 0066-4146,1545-4282
DOI: 10.1146/annurev-astro-082214-122514